Adding Type-Bound Actions to Action-Oberon
نویسندگان
چکیده
We extend the Action-Oberon language for executing action systems with typebound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Typebound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.
منابع مشابه
Action-Based Concurrency and Synchronization for Objects
We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to hav...
متن کاملAnalysing and Optimizing Strongly Typed Object oriented Languages A Generic Approach and its Application to Oberon
Object oriented programming is going to replace the imperative programming paradigm as the state of the art paradigm for large industrial software projects The bene ts o ered however come at the price of intricate new problems for optimizing compilers In contrast to the imperative paradigm where abstract interpretation is well established as a uniform and theoretically well founded framework fo...
متن کاملDifferences between Oberon and Oberon-2
Oberon–2 is a true extension of Oberon [1]. This paper summarizes the extensions and tries to shed some light on the motivations behind them. By that we hope to make it easier for the reader to classify Oberon–2. For details the reader is referred to the language report. One important goal for Oberon–2 was to make object–oriented programming easier without sacrificing the conceptual simplicity ...
متن کاملType Extension and Eecient Ast Manipulation
Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanisms for dynamic type checking explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime perfo...
متن کاملOrthogonal Type Extensions and Reductions , 1990
In this paper we present a generaliTation of Oberon's record type extensions. Our extension mechanLcm is orthogonally applicable to all the conventional data types found in Pascal-like languages. In order to balance the type system, we present an inverse concept, type reductions, that also can be applied to all the programmer-defined data types. These concepts provide flexible and powerful mean...
متن کامل